Altran UK (formerly known as Altran Praxis, Praxis High Integrity Systems, Praxis Critical Systems, Altran Xype, Xype and Altran Technologies) is a division of parent company Altran. Altran Praxis was a British

software house A software company is a company whose primary products are various forms of software, software technology, distribution, and software product development. They make up the software industry. Types There are a number of different types of softw ...

that specialised in critical systems. This role is continued under the banner of high-tech engineering consultancy services provided by the rest of the Altran group. The division formerly known as Praxis (the critical systems specialists) is based in SouthGate, Bath,

England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe b ...

, close to

Bath Spa railway station Bath Spa railway station is the principal station serving the city of Bath in South West England. It is on the Great Western Main Line, down the line from the zero point at between to the east and to the west. Its three-letter station code ...

, and also have offices in

London London is the capital and List of urban areas in the United Kingdom, largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary dow ...

Loughborough Loughborough ( ) is a market town in the Charnwood borough of Leicestershire, England, the seat of Charnwood Borough Council and Loughborough University. At the 2011 census the town's built-up area had a population of 59,932 , the second large ...

Paris Paris () is the Capital city, capital and List of communes in France with over 20,000 inhabitants, most populous city of France, with an estimated population of 2,165,423 residents in 2019 in an area of more than 105 km² (41 sq mi), ma ...

Sophia Antipolis (wisdom), gr, (Ἀντίπολις, antipolis) ("opposite city" from its position on the opposite side of the Var estuary from Nice, also former name of Antibes, part of the technology park) , postal_code = 06220 (Vallauris), 06250 (Mo ...

, and

Bangalore Bangalore (), List of renamed places in India, officially Bengaluru (), is the Capital city, capital and largest city of the Indian state of Karnataka. It has a population of more than and a metropolitan area, metropolitan population of a ...

. Altran UK as a whole has offices in Bath,

Bristol Bristol () is a city, ceremonial county and unitary authority in England. Situated on the River Avon, it is bordered by the ceremonial counties of Gloucestershire to the north and Somerset to the south. Bristol is the most populous city in ...

Manchester Manchester () is a city in Greater Manchester, England. It had a population of 552,000 in 2021. It is bordered by the Cheshire Plain to the south, the Pennines to the north and east, and the neighbouring city of Salford to the west. The t ...

, Slough and

Coventry Coventry ( or ) is a city in the West Midlands, England. It is on the River Sherbourne. Coventry has been a large settlement for centuries, although it was not founded and given its city status until the Middle Ages. The city is governed b ...

. The company Praxis Systems Limited was founded by

Martyn Thomas Martyn Thomas CBE FREng FIET FRSA (born 1948) is a British independent consultant and software engineer. Overview Martyn Thomas founded the software engineering company Praxis in 1983, based in Bath, southern England. He has a special inte ...

and David Bean in 1983: it was incorporated on 1 June 1983 and commenced business on 1 July 1983. On 28 June 1985 it became a

Public limited company A public limited company (legally abbreviated to PLC or plc) is a type of public company under United Kingdom company law, some Commonwealth jurisdictions, and the Republic of Ireland. It is a limited liability company whose shares may be fre ...

Praxis Systems plc. Until 1988, Praxis was owned almost entirely by its staff. In 1988 Praxis obtained venture capital finance in order to provide funds for future acquisitions and working capital for continued growth. On 27 November 1992 Praxis was acquired by Deloitte Consulting (then known as Touche Ross), an international firm of accountants and management consultants. The critical systems part of the company was acquired by the Altran Group in 1997. In 2004, Praxis Critical Systems and HIS Consulting merged to form Praxis High Integrity Systems. In January 2010, the company was merged with SC2 by Altran to form Altran Praxis. The company has since been rebranded to Altran along with Altran Xype and Altran Technologies. In December 2012, AdaCore along with Altran Praxis released SPARK Pro 11. In 2013, Altran acquired Sentaca, a specialty telecoms consultancy. A distinguishing feature of the former Praxis office's is its extensive use of

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

such as the

Z notation The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general. History In 1974, Jean-Raymond Abria ...

and the

SPARK Spark commonly refers to: * Spark (fire), a small glowing particle or ember * Electric spark, a form of electrical discharge Spark may also refer to: Places * Spark Point, a rocky point in the South Shetland Islands People * Spark (surname) * ...

toolset (acquired through the takeover of the developers Program Validation Limited in 1994) in its approach to improving the reliability of

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

. A major project using Z has been an enhancement for the

United Kingdom The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a country in Europe, off the north-western coast of the European mainland, continental mainland. It comprises England, Scotlan ...

National Air Traffic Services NATS Holdings, formerly National Air Traffic Services and commonly referred to as NATS, is the main air navigation service provider in the United Kingdom. It inherited the traditions of UK air traffic control, which (founded over Croydon Air ...

(NATS).Antony Savvas
NATS claims the biggest air traffic control innovation since radar
''

Computer Weekly ''Computer Weekly'' is a digital magazine and website for IT professionals in the United Kingdom. It was formerly published as a weekly print magazine by Reed Business Information for over 45 years. Topics covered within the magazine include outs ...

'', 7 March 2007.

References

External links

Company website
Companies established in 1983 1983 establishments in England Companies based in Bath, Somerset Software companies of the United Kingdom Formal methods organizations {{UK-company-stub

See also

References

External links